761. Automata for Branching and Layered Temporal Structures
Author: / Gabriele Puppis
Library: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
Subject: COMPUTER SCIENCE, ARTIFICIAL INTELLIGENCE|COMPUTER SCIENCE, SOFTWARE ENGINEERING|ROBOTICS
Classification :
E-BOOK
762. Automata for branching and layered temporal structures: an investigation into regularities of infinite transition systems
Author: Puppis, Gabriele
Library: Central Library and Documentation Center (Kerman)
Subject: ، Machine theory,، Computer science,، Software engineering,، Computer software,، Logic design,، Artificial intelligence
Classification :
QA
267
.
P87
2010
763. Automate the Boring Stuff with Python: Practical Programming for Total Beginners
Author: / Al Sweigart
Library: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
Subject: COMPUTER SCIENCE, SOFTWARE ENGINEERING
Classification :
E-BOOK
764. Automate with Grunt: The Build Tool for JavaScript
Author: / Brian P. Hogan
Library: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
Subject: COMPUTER SCIENCE, SOFTWARE ENGINEERING
Classification :
E-BOOK
765. Automated Configuration Problem Solving
Author: / Charles J. Petrie
Library: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
Subject: COMPUTER SCIENCE, ARTIFICIAL INTELLIGENCE|COMPUTER SCIENCE, INFORMATION TECHNOLOGY|COMPUTER SCIENCE, SOFTWARE ENGINEERING|ROBOTICS
Classification :
E-BOOK
766. Automated Deduction - CADE-23 :
Author: edited by Nikolaj Bjørner, Viorica Sofronie-Stokkermans.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer science.,Logic design.,Software engineering.
767. Automated Deduction in Geometry
Author: / Tetsuo Ida, Jacques Fleuriot
Library: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
Subject: COMPUTER SCIENCE, ARTIFICIAL INTELLIGENCE|COMPUTER SCIENCE, SOFTWARE ENGINEERING|ROBOTICS
Classification :
E-BOOK
768. Automated Deduction in Geometry
Author: / Gebert-rgen RichterیPascal Schreck, Julien Narboux, J
Library: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
Subject: COMPUTER SCIENCE, ARTIFICIAL INTELLIGENCE|COMPUTER SCIENCE, SOFTWARE ENGINEERING|ROBOTICS
Classification :
E-BOOK
769. Automated Deduction in Geometry
Author: / Francisco Botana, Pedro Quaresma
Library: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
Subject: COMPUTER SCIENCE, ARTIFICIAL INTELLIGENCE|COMPUTER SCIENCE, SOFTWARE ENGINEERING|ROBOTICS
Classification :
E-BOOK
770. Automated Reasoning
Author: / phane Demri, Deepak Kapur, Christoph WeidenbachفSt
Library: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
Subject: COMPUTER SCIENCE, ARTIFICIAL INTELLIGENCE|COMPUTER SCIENCE, SOFTWARE ENGINEERING|ROBOTICS
Classification :
E-BOOK
771. Automated Reasoning
Author: / hnleعrgen Giesl, Reiner HJی
Library: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
Subject: COMPUTER SCIENCE, ARTIFICIAL INTELLIGENCE|COMPUTER SCIENCE, SOFTWARE ENGINEERING|ROBOTICS
Classification :
E-BOOK
772. Automated Reasoning
Author: / Bernhard Gramlich, Dale Miller, Uli Sattler
Library: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
Subject: COMPUTER SCIENCE, ARTIFICIAL INTELLIGENCE|COMPUTER SCIENCE, SOFTWARE ENGINEERING|ROBOTICS
Classification :
E-BOOK
773. Automated Reasoning for Security Protocol Analysis and Issues in the Theory of Security
Author: / Alessandro Armando, Gavin Lowe
Library: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
Subject: COMPUTER SCIENCE, SOFTWARE ENGINEERING
Classification :
E-BOOK
774. Automated Reasoning with Analytic Tableaux and Related Methods
Author: / Wendling-Didier Galmiche, Dominique Larchey
Library: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
Subject: COMPUTER SCIENCE, ARTIFICIAL INTELLIGENCE|COMPUTER SCIENCE, SOFTWARE ENGINEERING|ROBOTICS
Classification :
E-BOOK
775. Automated Reasoning with Analytic Tableaux and Related Methods
Author: / Hans De Nivelle
Library: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
Subject: COMPUTER SCIENCE, ARTIFICIAL INTELLIGENCE|COMPUTER SCIENCE, SOFTWARE ENGINEERING|ROBOTICS
Classification :
E-BOOK
776. Automated Reasoning with Analytic Tableaux and Related Methods
Author: / nnler, George MetcalfeیKai Br
Library: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
Subject: COMPUTER SCIENCE, ARTIFICIAL INTELLIGENCE|COMPUTER SCIENCE, SOFTWARE ENGINEERING|ROBOTICS
Classification :
E-BOOK
777. Automated Solution of Differential Equations by the Finite Element Method: The FEniCS Book
Author: / Andre Mardal, Garth Wells (eds.)-Hans Petter Langtangen (auth.), Anders Logg, Kent
Library: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
Subject: COMPUTER SCIENCE, SOFTWARE ENGINEERING
Classification :
E-BOOK
778. Automated Technology for Verification and Analysis
Author: / Bernd Finkbeiner, Geguang Pu, Lijun Zhang
Library: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
Subject: COMPUTER SCIENCE, ARTIFICIAL INTELLIGENCE|COMPUTER SCIENCE, SOFTWARE ENGINEERING|ROBOTICS
Classification :
E-BOOK
779. Automated Technology for Verification and Analysis
Author: / Dang Hung, Mizuhito Ogawa
Library: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
Subject: COMPUTER SCIENCE, SOFTWARE ENGINEERING
Classification :
E-BOOK
780. Automated Technology for Verification and Analysis
Author: / Ngan Chin-Ahmed Bouajjani, Wei
Library: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
Subject: COMPUTER SCIENCE, SOFTWARE ENGINEERING
Classification :
E-BOOK
